Dette er ikke en ordbog! - Søg efter "logical proof" i Den Danske Ordbog
29. februar 2016 fra wordnet.princeton.edu
logical proof — navneord — engelsk
proof of a logical theorem